退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:理性Kripke模型中时态逻辑的符号模型检验
Wilmari Bekker; Valentin Goranko;
机译:使用符号模型检查调试智能合同的业务逻辑
机译:动态认知逻辑的符号模型检查-S5及更高版本
机译:具有归纳谓词的符号堆分离逻辑的模型检查
机译:Rational Kripke模型时态逻辑的符号模型检查
机译:用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:运用操作逻辑建模和比较分析的移动通信网络问题检测装置及方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。